Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Apunte de cátedra	Estructuras Algebraicas. Curso 2004	Sagastume, Marta			----------
Apunte de cátedra	Estructuras Algebraicas. Curso 2005	Sagastume, Marta			----------
Analítica	Implementación de un model checker para lógicas modales en Haskell	Cardós, Marcelo A.	EN: CACIC 97 / Congreso Argentino de Ciencias de la Computación (3er : 1997 : La Plata) Edición: (1997) (Libro)		----------